New representations for (max, +) automata with applications to performance evaluation and control of discrete event systems
نویسندگان
چکیده
Titre New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems Type de publication Article de revue Auteur Boukra, Rabah [1], Lahaye, Sébastien [2], Boimond, Jean-Louis [3] Editeur Springer Verlag Type Article scientifique dans une revue à comité de lecture Année 2015 Langue Anglais Date June 2015 Pagination 295-322 Volume 25 Titre de la revue Discrete Event Dynamic Systems
منابع مشابه
New representations for (max, +) automata with applications to the performance evaluation of discrete event systems
Titre New representations for (max,+)-automata with applications to the performance evaluation of discrete event systems Type de publication Communication Type Communication avec actes dans un congrès Année 2012 Langue Anglais Date du colloque 2012 Titre du colloque WODES 2012 Titre des actes ou de la revue Proceedings of the 11th edition of Workshop On Discrete Event System Auteur Boukra, Raba...
متن کاملPerformance Evaluation of Discrete Event Systems Thanks to New Representations for (max, +) Automata
Abstract: In this contribution, we study the performances of discrete event systems modeled by (max,+) automata. More precisely, new representations for (max,+) automata are first proposed. From these, several performance indicators can be derived, in particular the maximum time execution and a minorant of the minimum execution time for a sequence of length n. Finally these results are discusse...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Event Dynamic Systems
دوره 25 شماره
صفحات -
تاریخ انتشار 2015